A Workshop on Robustness, Abstractions and Computations
نویسنده
چکیده
A workshop devoted to the mathematical foundations of Robustness, Abstractions and Computations as well as their applications will be held at the University of Pennsylvania, March 28, 2004. This workshop will act as a forum to both identify and disseminate the existing technologies and mathematical results to a wide range of Engineering and Mathematical disciplines, and to identify the future research directions relevant to the promotion and use of computationally attractive abstractions. ∗Department of Aeronautics and Astronautics, Laboratory for Information and Decision Systems, Room 33-213, Massachusetts Institute of Technology, Cambridge, MA 02139, [email protected] †Département de Mathématique et Informatique, Ecole Normale Supérieure, 45 rue d’Ulm, F-75230 Paris Cedex 05, France, [email protected]
منابع مشابه
Model Predictive Control Under Uncertainty: Theory, Computations and Applications
This workshop introduces its audience to the theory, design and applications of model predictive control (MPC) under uncertainty. The workshop provides conceptual and technical principles governing rigorous and computationally effective methods for design of MPC under set–membership and probabilistic uncertainty. The theoretical fundamentals are carefully introduced and studied within the frame...
متن کاملData and Computation Abstractions for Dynamic and Irregular Computations
Effective data distribution and parallelization of computations involving irregular data structures is a challenging task. We address the twin-problems in the context of computations involving block-sparse matrices. The programming model provides a global view of a distributed block-sparse matrix. Abstractions are provided for the user to express the parallel tasks in the computation. The tasks...
متن کاملOperating System Directions for the Next Millennium
We believe it is time to reexamine the operating system’s role in computing. Operating systems exist to create an environment in which compelling applications come to life. They do that by providing abstractions built on the services provided by hardware. We argue that advances in hardware and networking technology enable a new kind of operating system to support tomorrow’s applications. Such a...
متن کاملStar diagrams: Designing abstractions out of existing code
Reengineering an existing legacy system into an object-oriented system often requires encapsulating existing data structures and converting computations on the data structures into method calls. This design task requires an architect to understand how the current data structures work in detail, then perform global changes to the source code to instantiate the new class. Various systems help the...
متن کاملComputing finite abstractions with robustness margins via local reachable set over-approximation
This paper proposes a method to compute finite abstractions that can be used for synthesizing robust hybrid control strategies for nonlinear systems. Most existing methods for computing finite abstractions utilize some global, analytical function to provide bounds on the reachable sets of nonlinear systems, which can be conservative and lead to spurious transitions in the abstract systems. This...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004